Natural-language user interface